ccsucc{-}num($x$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$chain\_config\_ind($x$;$\cdot$;$\cdot$;${\it id}$.$\cdot$;${\it id}$,${\it num}$.${\it num}$)